Causal Deontic Logic
نویسنده
چکیده
In this paper we introduce a descriptive temporal deontic logic based on causal theories. The underlying nonmonotonic temporal logic has two distinctive properties. First, it distinguishes between observations and interventions, which among others is used to distinguish between the existence and creation of deontic states such as obligations, permissions and prohibitions. Second, its explicit causal theories lead to a descriptive or modeling perspective, that not only enables a simple and intuitive formalization of the benchmark examples of nonmonotonic temporal reasoning, but that also makes the logic a good candidate for applications in computer science.
منابع مشابه
Permissions and Undercutters
Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter’s normal default logic. A recent extension of the input/output logics formalizes various notions of permission. We are interested in the question whether input/output logics can b...
متن کاملPermissions and Undercutters in Argumentation
Input/output logics have been proposed to formalize rule based inference. They are mainly inspired by deontic logic, or the logic of obligations, although it has also been shown that they generalize for example Reiter’s normal default logic. A recent extension of the input/output logics formalizes various notions of permission. We are interested in the question whether input/output logics can b...
متن کاملModalities over Action, I. Model Theory
This paper analyzes a language for actions and the deontic modalities over actions — i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action language that allows the representation of concurrent and repetitive events; (2) a deontic language that allows the representation of “free choice permissions”; (3) a proof procedure that admits a logic programming sty...
متن کاملIntroducing Exclusion Logic as a Deontic Logic
This paper introduces Exclusion Logic a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
متن کاملAggregative Deontic Detachment for Normative Reasoning
Aggregative deontic detachment is a new form of deontic detachment that keeps track of previously detached obligations. We argue that it handles iteration of successive detachments in a more principled manner than the traditional systems do. To study this new form of deontic detachment, we introduce a ‘minimal’ logic for aggregative deontic detachment, and we discuss various properties of the l...
متن کامل